cons-seq(x;s)(n) == if (n = 0) then x else s(n - 1) fi  

latex

Definitions	x.A(x), if b then t else f fi , (i = j), f(a), n - m, #$n
FDL editor aliases	cons-seq